Toposes of Topological Monoid Actions

نویسندگان

چکیده

We demonstrate that categories of continuous actions topological monoids on discrete spaces are Grothendieck toposes. exhibit properties these toposes, giving a solution to the corresponding Morita-equivalence problem. characterize toposes in terms their canonical points. identify natural classes representatives with good properties, 'powder monoids' and then 'complete monoids', for monoids. Finally, we show construction can be made (2-)functorial by considering geometric morphisms induced semigroup homomorphisms.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The category of monoid actions in Cpo

In this paper, some categorical properties of the category ${bf Cpo}_{{bf Act}text{-}S}$ of all {cpo $S$-acts}, cpo's equipped with actions of a monoid $S$ on them, and strict continuous action-preserving maps between them is considered. In particular, we describe products and coproducts in this category, and consider monomorphisms and epimorphisms. Also, we show that the forgetful functor from...

متن کامل

On the topological centers of module actions

In this paper, we  study the Arens regularity properties of module actions. We investigate some properties of topological centers of module actions ${Z}^ell_{B^{**}}(A^{**})$ and  ${Z}^ell_{A^{**}}(B^{**})$ with some conclusions in group algebras.

متن کامل

The Monoid of Queue Actions

Wemodel the behavior of a fifo-queue as a monoid of transformations that are induced by sequences of writing and reading. We describe this monoid by means of a confluent and terminating semi-Thue system and study some of its basic algebraic properties such as conjugacy. Moreover, we show that while several properties concerning its rational subsets are undecidable, their uniform membership prob...

متن کامل

the category of monoid actions in cpo

in this paper, some categorical properties of the category ${bf cpo}_{{bf act}text{-}s}$ of all {cpo $s$-acts}, cpo's equipped with actions of a monoid $s$ on them, and strict continuous action-preserving maps between them is considered. in particular, we describe products and coproducts in this category, and consider monomorphisms and epimorphisms. also, we show that the forgetful functor from...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Compositionality

سال: 2023

ISSN: ['2631-4444']

DOI: https://doi.org/10.32408/compositionality-5-1